A technique addressed the problem of security policy is given in this paper . it provides the possibility for addressing it at the system design stage & is interfaced to existing formal specifications and verification methods . tins paper has also shown how access rights can be derived from a petri net workflow dynamically 不仅用数据流图对其视图模型进行了描述,而且用z浯言实现了模型的公式化方法,解决了协同工作中信息在安全级别不同的用户间的流动问题,本文还提出了一种将工作流管理与访问控制相结合的动态访问控制的petri网建模方法,能够实现访问控制的自动化执行并有效提高系统的管理效率。
E ) because requirement analysis and design specification are always written in natural language , it is difficult to measure them . as uml is becoming a standard diagrammatic notation for object - oriented modeling and is spreading rapidly , it has been chosen to express the artifacts developed during the requirement analysis and system design stages . this dissertation proposes the uml based artifacts measurement method , analyzes their viewpoints and experimental data )提出应用uml进行软件需求和设计的度量方法,并设计和实现了一个基于uml的软件需求分析和设计方案的度量工具,而且用实际软件项目作为实例进行了运行实验,并对其意义和度量结果数据进行了分析。
Based on the theoretic research above , a prototype system of multidisciplinary synthetic design for system design of satellite is developed . practice indicates that the synthetic integration of mission analysis stage , system design argumentation stage and system design stage in the whole course of system design of satellite is basically implemented with this system , which offers an assistant tool of design and decision - making for the design staff 实践表明,该原型系统基本实现了卫星总体方案设计中任务分析阶段、总体方案论证阶段和总体方案设计阶段全过程的综合集成,为设计人员提供了一个辅助设计分析、决策的工具;通过系统的开发,探索了一条开展卫星总体多学科综合设计优化的技术途径,实践证明这条思路整体上是可行的。